Tools and algorithms for the construction an analysis of aystems
- Författare
- Joint European Conferences on Theory and Practice of Software 1998) (Lisboa : Bernhard Steffen International Conference on Tools and Algorithms for the Constructions and Analysis of Systems 1998) Lisboa :
- (4th International Conference, TACAS'98 : held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings Bernhard Steffen (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1998 | Tyskland, Berlin | 455 sidor. ill. |